Back استتباع منطقي Arabic Умозаключение Bulgarian Conseqüència Catalan شوێنھاتی لۆژیکی CKB Λογική συνέπεια Greek Logical consequence English Konsekvenco Esperanto Consecuencia lógica Spanish استلزام Persian Looginen seuraus Finnish
Eine Ableitung, Herleitung, oder Deduktion ist in der Logik die Gewinnung von Aussagen aus anderen Aussagen. Dabei werden Schlussregeln auf Prämissen angewandt, um zu Konklusionen zu gelangen. Welche Schlussregeln dabei erlaubt sind, wird durch den verwendeten Kalkül bestimmt.[1]
Die Ableitung ist zusammen mit der semantischen Folgerung eine der zwei logischen Methoden, um auf die Konklusion zu kommen.
- ↑ Ein Beispiel für eine Definition geben Kruse und Borgelt (2008) auf S. 8.